881. Programming with higher-order logic /
Author: Dale Miller, Gopalan Nadathur.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Prolog (Computer program language)
Classification :
QA76
.
63
.
M554
2012


882. Programs as Data Objects :
Author: by Harald Ganzinger, Neil D. Jones.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.

883. Programs from decision tables
Author: Humby, E.)Edward(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer programming,، Decision logic tables
Classification :
QA
76
.
6
.
H85
1973


884. Progress in applications of boolean functions /
Author: Tsutomu Sasao, Jon T. Butler [editors].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Boolean.,Cryptography-- Mathematics.,Data encryption (Computer science)-- Mathematics.,Data mining-- Mathematics.,Logic circuits-- Mathematics.,Algebra, Boolean.,Cryptography-- Mathematics.,MATHEMATICS-- Algebra-- General.
Classification :
QA10
.
3


885. Prolog++ : the power of object-oriented and logic programming
Author: Moss, Christopher D. S.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Prolog++ )Computer program language(,، Object-oriented programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P2
.
M69
1994


886. Proofs and Algorithms
Author: / Gilles Dowek
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Computer logic,Proof theory,Algorithms
Classification :
QA
9
.
D68
2011


887. Proofs and Algorithms : Introduction to Logic and Computability Theory
Author: Gilles Dowek
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
Classification :
QA
76
.
9
.
L36D68


888. Rapid Prototyping of Digital Systems
Author: Hamblen, James O.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Field Programmable-- Gate Arrays,، Programmable-- Array Logic,، Vhdl )Computer Hardware Description Language(
Classification :
TK
7895
.
G36
.
H36
2008


889. Rapid prototyping of digital system
Author: / James O. Hamblen, Tyson S. Hall, Michael D. Furman
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Field programmable gate arrays--Computer-aided design,Logic design.,VHDL (Computer hardware description language),Verilog (Computer hardware description language),Rapid prototyping.
Classification :
TK
,
7895
,.
G36
,
H36
,
2005


890. Rapid prototyping of digital system
Author: / James O. Hamblen, Tyson S. Hall, Michael D. Furman
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Field programmable gate arrays--Computer-aided design,Logic design.,VHDL (Computer hardware description language),Verilog (Computer hardware description language),Rapid prototyping.
Classification :
TK
,
7895
,.
G36
,
H36
,
2008


891. Rapid prototyping of digital systems
Author: Hamblen, James O.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Field programmable gate arrays-- Computer aided design,، Programmable array logic,، VHDL )Computer hardware description language(
Classification :
TK
7895
.
G36
.
H36
2000


892. Rapid prototyping of digital systems
Author: / James O. Hamblen, Tyson S. Hall, Michael D. Furman
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Field programmable gate arrays- Computer-aided design,Logic design,VHDL (Computer hardware description language),Verilog (Computer hardware description language),Rapid prototyping
Classification :
TK7895
.
G36
,
H36
2005


893. Rapid prototyping of digital systems
Author: / James O. Hamblen, Tyson S. Hall, Michael D. Furman
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Field programmable gate arrays- Computer-aided design,Logic design,VHDL (Computer hardware description language),Verilog (Computer hardware description language),Rapid prototyping
Classification :
E-BOOK

894. Rapid prototyping of digital systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: aided design. ; Logic design. ; VHDL (Computer hardware description language) ; Verilog (Computer hardware description language) ; Rapid prototyping. ; -Field programmable gate arrays ; Computer

895. Rapid prototyping of digital systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: aided design. ; Logic design. ; VHDL (Computer hardware description language) ; Verilog (Computer hardware description language) ; Rapid prototyping. ; -Field programmable gate arrays ; Computer

896. Rapid prototyping of digital systems
Author: James O. Hamblen, Michael D. Furman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Field programmable gate arrays-- Computer-aided design.,Programmable array logic.,Rapid prototyping.,VHDL (Computer hardware description language)
Classification :
TK7895
.
G36
H36
2001eb


897. Rapid prototyping of digital systems
Author: Hamblen, James O.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Field programmable gate arrays -- Computer-aided design,، Programmable array logic,، VHDL )Computer hardware description language(
Classification :
TK
7895
.
G36
H36


898. Rapid prototyping of digital systems
Author: James O. Hamblen, Michael D. Furman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Field programmable gate arrays-- Computer-aided design.,Programmable array logic.,Rapid prototyping.,VHDL (Computer hardware description language)
Classification :
TK7895
.
G36
H36
2001eb


899. Rapid prototyping of digital systems ]electronic resources[
Author: Hamblen, James O.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Field programmable gate arrays-- Computer-aided design,، Logic design,، VHDL )Computer hardware description language(,، Verilog )Computer hardware description language(,، Rapid prototyping
Classification :
TK
7895
.
G36
.
H36
2005


900. Rapid prototyping of digital systems sopc edition
Author: Hamblen, James O.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Computer-aided design ، Field programmable gate arrays,، Logic design,، VHDL )Computer hardware description language(,، Rapid prototyping
Classification :
TK
7895
.
G36
H36

